Описаний чотирикутник
В Евклідовій геометрії описаний чотирикутник[1] — опуклий чотирикутник, усі сторони якого є дотичними до кола, розташованого всередині чотирикутника. Також має назву дотичний чотирикутник (англ. tangential quadrilateral).[2]
Саме коло називається вписаним колом чотирикутника, а його центр I — інцентром.
Центр вписаного в чотирикутник кола лежить на перетині бісектрис чотирьох його внутрішніх кутів.
Описаний чотирикутник є окремим випадком описаного багатокутника.
Не кожен чотирикутник можна описати навколо кола. Прикладом чотирикутника, який не можна описати навколо кола, є прямокутник, який не є квадратом.
Будь-який дельтоїд (в тому числі і ромб, квадрат) можна описати навколо кола.[1] Дельтоїди також є зовні-описаними чотирикутниками, та чотирикутниками з перпендикулярними діагоналями (ортодіагональними).[3]
В трапецію можна вписати коло, якщо сума довжин її основ рівна сумі довжин її бокових сторін.
Біцентричний чотирикутник — це вписаний чотирикутник, який також є описаним. Прикладом може бути прямокутний дельтоїд, або рівнобічна трапеція, у якої висота є середнім геометричним між її основами.
У цьому розділі наведено необхідні та достатні умови, щоб чотирикутник був описаним.
- Опуклий чотирикутник можна описати тоді й лише тоді, коли чотири бісектриси його внутрішніх кутів є конкурентними, тобто, перетинаються в одній точці.[4]
Ця спільна точка є центром вписаного кола. Також в цій точці перетинаються бісектриси внутрішніх кутів, утворених при перетині прямих, що містять протилежні сторони чотирикутника.
- Сума протилежних сторін.
Згідно з теоремою Піто:[1][4] [5][6]
Опуклий чотирикутник ABCD з послідовними сторонами a, b, c, d можна описати навколо кола тоді і лише тоді, коли суми його протилежних сторін рівні.
- Те, що це твердження є також і достатньою умовою, було доведено Якобом Штейнером у 1846 році.[6]
Має місце і зворотня теорема, яка запропонована також Я.Штейнером[7] :
- Якщо суми протилежних сторін чотирикутника рівні, то цей чотирикутник є описаним навколо деякого кола.
- Якщо протилежні сторони опуклого чотирикутника ABCD, який не є трапецією, перетинаються в точках E та F (прямі АВ і CD перетинаються в E, а прямі AD і BC перетинаються в F), то чотирикутник є описаним тоді і лише тоді, коли:[4]
або
- Ще одна необхідна і достатня умова полягає в тому, що опуклий чотирикутник ABCD є описаним тоді і тільки тоді, коли кола, вписані в два трикутники ABC і ADC (або ABD i BCD), дотичні одне до одного.[6]
- Діагоналі опуклого чотирикутника ABCD при перетині ділять його на чотири трикутники ∆ABD, ∆ABC , ∆BCD, ∆ACD. Кола, вписані в ці трикутники, дотикаються до сторін чотирикутника у восьми точках, по дві на кожну сторону. Чотирикутник є описаним чотирикутником тоді і тільки тоді, коли суми відстаней між точками дотику на протилежних сторонах чотирикутника рівні:[6]
- У 1954 році Маріус Йосіфеску (Marius Iosifescu) довів, що опуклий чотирикутник має вписане коло тоді і тільки тоді, коли[8]
- Крім того, опуклий чотирикутник з послідовними сторонами a, b, c, d є описаним тоді і тільки тоді, коли:
де Ra, Rb, Rc, Rd — радіуси вписаних ззовні кіл чотирикутника ABCD, які зовнішньо дотикаються до сторін a, b, c, d відповідно, і продовжень двох суміжних сторін для кожної сторони.[9]
- Площу описаного чотирикутника ABCD зі сторонами a, b, c, d можна знайти за формулою:
де r — радіус вписаного кола, — півпериметр чотирикутника ABCD.
Ця формула площі справедлива для всіх описаних багатокутників.
- Формула площі описаного чотирикутника ABCD через його сторони a, b, c, d та діагоналі p та q:[5]
- А також: [3]
Оскільки тоді і тільки тоді, коли описаний чотирикутник ABCD також є вписаним, тобто ABCD — біцентричний[10] , то з формули видно, що описаний чотирикутник має максимальну площу тоді і тільки тоді, коли він є біцентричним.
- Формула площі описаного чотирикутника ABCD через його сторони a, b, c, d та два протилежних кута:[5][11][12][13]
Для заданих довжин сторін площа є максимальною, коли чотирикутник також є вписаним і, отже, біцентричним чотирикутником. Для нього: , а отже,
- Формула площі описаного чотирикутника ABCD через дві сусідні сторони та два протилежних кута:[5]
- Формула площі описаного чотирикутника ABCD через сторони a, b, c, d та кут між діагоналями:[5]
Цю формулу не можна використовувати для дельтоїдів, оскільки в них діагоналі перпендикулярні: θ = 90°, і функція тангенса не визначена.
- Формула площі описаного чотирикутника ABCD через відстані від його вершин до центра вписаного кола I та два протилежних кута:[12]
Як опосередковано зазначено вище, площа описаного чотирикутника зі сторонами a, b, c, d задовольняє нерівності:
Рівність досягається тільки для біцентричного чотирикутника.
За Т. А. Івановою (1976 р.), півпериметр p описаного чотирикутника задовольняє нерівності:
де r — радіус вписаного кола. Рівність досягається тоді і тільки тоді, коли чотирикутник є квадратом.
Це означає, що для площі K = r p існує нерівність
де рівність досягається тоді і тільки тоді, коли описаний чотирикутник є квадратом.
Радіус вписаного кола описаного чотирикутника ABCD зі сторонами a, b, c, d та площею S, можна обчислити за формулою:[5]
Описаний чотирикутник з даними сторонами має максимальний радіус вписаного кола, якщо чотирикутник є одночасно і вписаним (тобто біцентричним).
Радіус вписаного кола також можна виразити через відстані від центру кола I до вершин описаного чотирикутника ABCD. Якщо u = AI, v = BI, x = CI і t = DI, то[14]:
де .
Радіус вписаного кола описаного чотирикутника ABCD через довжини дотичних відрізків e, f, g, h:[10][15]
Якщо e, f, g та h — довжини дотичних до вписаного кола з вершин описаного чотирикутника A, B, C та D відповідно, а p = AC та q = BD — його діагоналі, то:[10]
Якщо e, f, g та h — довжини дотичних до вписаного кола з вершин описаного чотирикутника A, B, C та D відповідно, то кути чотирикутника можна знайти за формулами:[3]
Чотирикутник, утворений точками дотику вписаного кола до сторін описаного чотирикутника
[ред. | ред. код]Вписане в чотирикутник ABCD коло торкається до його сторін в чотирьох точках. Ці чотири точки формують новий чотирикутник усередині початкового, який є вписаним у вписане коло початкового чотирикутника.
Дві хорди («k» і «l» на малюнку) вписаного кола чотирикутника ABCD, що сполучають точки дотику вписаного кола на протилежних сторонах описаного чотирикутника, також є діагоналями контактного чотирикутника.
Довжини цих хорд:[3]
де хорда довжиною k сполучає сторони чотирикутника a = e + f і c = g + h, а хорда довжиною l — сторони чотирикутника b = f + g і d = h + e.
Кут між хордами вписаного кола k та l :[3]
де e, f, g та h довжини дотичних до вписаного кола з вершин описаного чотирикутника A, B, C та D відповідно.
- Відношення квадратів довжин цих хорд:[3]
Хорди k та l:
- перпендикулярні тоді і тільки тоді, коли описаний чотирикутник ABCD також є вписаним (тобто біцентричним).[3]
- мають однакову довжину тоді і тільки тоді, коли описаний чотирикутник ABCD є дельтоїдом.[2]
Якщо описаний чотирикутник ABCD має точки дотику W до AB і Y до CD, і якщо хорда WY перетинає діагональ BD у точці M, то відношення довжин дотичних дорівнює відношенню відрізків діагоналі BD.[16]
- Якщо чотирикутник описано навколо кола, то існує точка, рівновіддалена від усіх його сторін (центр вписаного кола). Щоб знайти цю точку, достатньо знайти точку перетину бісектрис двох сусідніх кутів цього чотирикутника.
- Всі сторони описаного чотирикутника є дотичними до кола
- Перпендикуляр, опущений з центра вписаного кола на будь-яку сторону описаного чотирикутника дорівнює радіусу кола.
- Відрізки дотичних до вписаного кола, проведені з однієї вершини, рівні.
- Чотири відрізки між центром вписаного кола та точками дотику до чотирикутника розділяють чотирикутник на чотири прямокутних дельтоїда .
- Якщо пряма розділяє описаний чотирикутник на два багатокутника з рівними площами та рівними периметрами, то ця пряма проходить через центр вписаного кола.[4]
Нехай точки M та N — середини діагоналей описаного чотирикутника ABCD , I — центр його вписаного кола, точка K — центр відрізка FE, який сполучає точки перетину прямих, що містять протилежні сторони чотирикутника. Тоді, точки M, N, K та I є колінеарними, тобто лежать на одній прямій.[4] Ця пряма називається прямою Ньютона чотирикутника ABCD.
Також на цій прямій лежить вершинний центроїд Gv чотирикутника ABCD (точка перетину бімедіан чотирикутника; центр тяжіння рівних мас, зосереджених у вершинах чотирикутника), причому точка Gv знаходиться в середині відрізка MN.
Якщо прямі, що містять протилежні сторони описаного чотирикутника ABCD перетинаються в точках F та E, а прямі, що містять протилежні сторони чотирикутника, сформованого точками дотику вписаного кола до сторін ABCD, перетинаються в точках L та M, то чотири точки F, E, L і M колінеарні.[17]
Якщо вписане коло дотикається до сторін AB, BC, CD, DA у точках T1, T2, T3, T4 відповідно, і якщо N1, N2, N3, N4 є ізотомічно спряженими точками цих точок відносно відповідних сторін (тобто , AT1 = BN1 і так далі), то точка Нагеля описаного чотирикутника визначається як перетин прямих N1N3 та N2N4. Обидві ці лінії ділять периметр чотирикутника навпіл.
Що ще важливіше, точка Нагеля N, «центроїд площі» G і центр вписаного кола I колінеарні в цьому порядку, і NG = 2GI.
Ця пряма називається лінією Нагеля описаного чотирикутника.[18]
В описаному чотирикутнику ABCD із центром вписаного кола I, діагоналі перетинаються в точці P.
Нехай HX, HY, HZ, HW — ортоцентри трикутників AIB, BIC, CID, DIA. Тоді точки P, HX, HY, HZ, HW колінеарні.:[12]
Дві діагоналі описаного чотирикутника та дві хорди вписаного кола, що сполучають точки дотику на протилежних сторонах є конкурентні, тобто перетинаються в одні точці.[13][12]
Один із способів довести це — граничний випадок теореми Бріаншона, яка стверджує, що шестикутник, усі сторони якого є дотичними до однієї коніки має три діагоналі, які перетинаються в одній точці. З описаного чотирикутника можна сформувати шестикутник із двома кутами 180°, розмістивши дві нові вершини у двох протилежних точках дотику; усі шість сторін цього шестикутника лежать на прямих, дотичних до вписаного кола, тому його діагоналі перетинаються в одній точці. Але дві з цих діагоналей збігаються з діагоналями описаного чотирикутника, а третя діагональ шестикутника є прямою, що проходить через дві протилежні точки дотику. Аналогічно доводиться перетин з хордою, що сполучає дві інші точки дотику.
Якщо продовження протилежних сторін описаного чотирикутника перетинаються в точках F і E, а діагоналі перетинаються в точці P, то пряма FE перпендикулярна до прямої, що містить відрізок IP , де I — центр вписаного кола.[17]
Центр вписаного кола описаного чотирикутника лежить на його прямій Ньютона (пряма, що проходить через середини діагоналей)..[19]
Якщо I — центр вписаного кола чотирикутника ABCD, то виконуються наступні рівності:
- 1. Відношення протилежних сторін чотирикутника:[12]
- 2. Добуток двох суміжних сторін:[20]
- 3. Також:[12]
- 4. Центр вписаного кола I в описаному чотирикутнику ABCD збігається з «центроїдом вершин» чотирикутника тоді і тільки тоді, коли:[12]
- 5. Якщо M і N є серединами діагоналей AC і BD відповідно в описаному чотирикутнику ABCD з центром вписаного кола I, тоді[12][21]
де e, f, g і h — довжини дотичних в вершинах A, B, C і D відповідно.
Поєднуючи першу рівність із попередньою властивістю, отримаємо що «центроїд вершини» описаного чотирикутника збігається з центром вписаного кола тоді і тільки тоді, коли центр вписаного кола є серединою відрізка MN, що з'єднує середини діагоналей.
- Якщо чотириланковий механізм зроблено у формі описаного чотирикутника, то він залишатиметься описаним при будь-якому положенні його ланок, за умови, що чотирикутник залишається опуклим.[22][23] (Таким чином, наприклад, якщо квадрат деформується в ромб, він залишається дотичним, хоча до меншого вписаного кола). Якщо одна сторона утримується у фіксованому положенні, то при деформації чотириланкового механізма центр вписаного кола окреслює коло радіусом , де a, b,c, d — сторони чотирикутника, а «p» — півпериметр.
Діагоналі описаного чотирикутника ABCD перетинаються в точці P, і розбивають його на чотири трикутники APB, BPC, CPD, DPA
Нехай r1, r2, r3, та r4 — радіуси вписаних в ці трикутники кіл. Чао та Симеонов довели, що чотирикутник є описаним тоді і тільки тоді, коли:[24]
Ця властивість була доведена за п'ять років до того Вейштейном .[2][25]
Нехай h1, h2, h3, та h4 — висоти цих же трикутників, проведені з точки P на сторони описаного чотирикутника ABCD. Чотирикутник є описаним тоді і тільки тоді, коли:[8][25]
Нехай ra, rb, rc, та rd — радіуси зовнівписаних кіл цих же трикутників (кола торкаються до відповідної сторони чотирикутника та продовжень його діагоналей). Чотирикутник є описаним тоді і тільки тоді, коли:[6]
Якщо R1, R2, R3, та R4 — радіуси описаних кіл трикутників APB, BPC, CPD, DPA відповідно, то чотирикутник є описаним тоді і тільки тоді, коли:[26]
У 1996 році Вайнштейн був, мабуть, першим, хто довів ще одну цікаву властивість описаних чотирикутників, яка пізніше з'явилася в кількох журналах і на веб-сайтах.[6] В ній стверджується, що центри вписаних кіл у трикутники APB, BPC, CPD, DPA є конциклічними тоді і тільки тоді, коли чотирикутник описаний. Фактично, центри цих вписаних кіл утворюють ортодіагональний вписаний чотирикутник.:[6]
Пов'язаним результатом є те, що вписані кола можна замінити на зовнівписані кола до тих самих трикутників (дотичні до сторін чотирикутника та продовжень його діагоналей). Таким чином, опуклий чотирикутник ABCD є описаним тоді і тільки тоді, коли центри зовнівписаних в трикутники APB, BPC, CPD, DPA кіл є вершинами вписаного чотирикутника (тобто лежать на одному колі). :[6]
Якщо Ea, Eb, Ec, та Ed центри зовнівписаних кіл в трикутники APB, BPC, CPD, та DPA відповідно, до сторін трикутників, що протилежні вершинам B і D (дотичні до діагоналі чотирикутника ABCD, продовження його сторони та продовження іншої діагоналі), то опуклий чотирикутник ABCD є описаним тоді і тільки тоді, коли точки Ea, Eb, Ec, та Ed лежать на одному колі. :[6]
Якщо Ra, Rb, Rc, та Rd — радіуси цих зовнівписаних кіл, то опуклий чотирикутник ABCD є описаним тоді і тільки тоді, коли:[6]
Опуклий чотирикутник ABCD є описаним тоді і тільки тоді, коли:[8]
де S — площі відповідних трикутників.
Нехай точка P перетину діагоналей чотирикутника розбиває діагональ АС на відрізки AP = p1 та PC = p2 , а діагональ BD на відрізки BP = q1 та PD = q2. Опуклий чотирикутник ABCD є описаним тоді і тільки тоді, коли виконується рівність:[27]
або :[6]
або :[6]
Описаний чотирикутник є ромбом тоді і тільки тоді, коли його протилежні кути рівні. Зокрема, якщо протилежні кути прямі, то описаний чотирикутник є квадратом.
Описаний чотирикутник є дельтоїдом тоді і тільки тоді, коли виконується будь-яка з наступних умов:
- Площа дорівнює половині добутку діагоналей.
- Діагоналі перпендикулярні.
- Дві хорди вписаного кола, що з'єднують протилежні точки дотику до сторін чотирикутника, мають однакову довжину.
- Суми довжин дотичних до вписаного кола, що проведені з протилежних вершин рівні.
- Бімедіани чотирикутника рівні.
- Добутки протилежних сторін рівні.
- Центр вписаного кола лежить на діагоналі, яка є віссю симетрії.
Якщо вписане коло торкається до сторін AB та CD в точках W та Y відповідно, то описаний чотирикутник ABCD є трапецією з паралельними сторонами AB та CD тоді і тільки тоді, коли[28]
а AD та BC є паралельними сторонами трапеції тоді і тільки тоді, коли
Нехай вписане коло торкається до сторін чотирикутника AB, BC, CD, DA в точках W, X, Y, Z відповідно, тоді описаний чотирикутник ABCD є також і вписаним (а значить біцентричним) тоді і тільки тоді, коли виконується будь-яка з наступних умов:[3][17][29]
- WY перпендикулярний до XZ
Перша умова з цих трьох означає, що чотирикутник WXYZ є ортодіагональним чотирикутником.
Описаний чотирикутник є біцентричним тоді і тільки тоді, коли радіус його вписаного кола більший за радіус будь-якого іншого описаного чотирикутника з такою ж послідовністю довжин сторін.[30]
- Вписаний чотирикутник
- Біцентричний чотирикутник
- Описаний багатокутник
- Вписане коло
- Теорема Ньютона
- Теорема Енна
- ↑ а б в Істер О.С., 2021.
- ↑ а б в Josefsson, Martin (2011), When is a Tangential Quadrilateral a Kite? (PDF), Forum Geometricorum, 11: 165—174, ISSN 1534-1178
- ↑ а б в г д е ж и к Josefsson, Martin (2010), Calculations concerning the tangent lengths and tangency chords of a tangential quadrilateral (PDF), Forum Geometricorum, 10: 119—130, архів оригіналу (PDF) за 13 серпня 2011, процитовано 6 серпня 2023.
- ↑ а б в г д Andreescu, Titu; Enescu, Bogdan (2006), Mathematical Olympiad Treasures (PDF), Birkhäuser, с. 253: 62–65, doi:10.1007/978-0-8176-8253-8, ISBN 978-0-8176-8252-1.
- ↑ а б в г д е Durell, C. V.; Robson, A. (2003) [1930], Advanced Trigonometry, Courier Dover, ISBN 978-0-486-43229-8, архів оригіналу за 22 вересня 2021
- ↑ а б в г д е ж и к л м н Josefsson, Martin (2011), More characterizations of tangential quadrilaterals (PDF), Forum Geometricorum, 11: 65—82, MR 2877281, архів оригіналу (PDF) за 4 березня 2016, процитовано 6 серпня 2023
- ↑ Мерзляк А.Г., Полонський В.Б., 2021.
- ↑ а б в Minculete, Nicusor (2009), Characterizations of a Tangential Quadrilateral (PDF), Forum Geometricorum, 9: 113—118, архів оригіналу (PDF) за 3 березня 2016, процитовано 6 серпня 2023.
- ↑ Josefsson, Martin (2012), Similar Metric Characterizations of Tangential and Extangential Quadrilaterals (PDF), Forum Geometricorum, 12: 63—77, архів оригіналу (PDF) за 16 січня 2022, процитовано 6 серпня 2023
- ↑ а б в Hajja, Mowaffaq (2008), A condition for a circumscriptible quadrilateral to be cyclic (PDF), Forum Geometricorum, 8: 103—106, архів оригіналу (PDF) за 26 листопада 2019, процитовано 6 серпня 2023
- ↑ Siddons, A.W.; Hughes, R.T. (1929), Trigonometry, Cambridge Univ. Press, с. 203.
- ↑ а б в г д е ж и Grinberg, Darij (2021), Circumscribed quadrilaterals revisited (PDF), с. 1—46
- ↑ а б Yiu, Paul (1998), Euclidean Geometry (PDF), с. 170: 156–157, архів оригіналу (PDF) за 2 березня 2019, процитовано 6 серпня 2023
- ↑ Josefsson, Martin (2010), On the inradius of a tangential quadrilateral (PDF), Forum Geometricorum, 10: 27—34, архів оригіналу (PDF) за 19 грудня 2021, процитовано 7 серпня 2023.
- ↑ Hoyt, John P. (1984), Quickies, Q694, Mathematics Magazine[en], 57 (4): 239, 242.
- ↑ Geometry classes, Problem 152. Circumscribed Quadrilateral, Diagonal, Chord, Proportion. gogeometry.com. Процитовано 7 серпня 2023.
- ↑ а б в Josefsson, Martin (2010), Characterizations of Bicentric Quadrilaterals (PDF), Forum Geometricorum, 10: 165—173.
- ↑ Myakishev, Alexei (2006), On Two Remarkable Lines Related to a Quadrilateral (PDF), Forum Geometricorum, 6: 289—295, архів оригіналу (PDF) за 31 грудня 2019, процитовано 7 серпня 2023.
- ↑ Dergiades, Nikolaos; Christodoulou, Dimitris M. (2017), The two incenters of an arbitrary convex quadrilateral (PDF), Forum Geometricorum, 17: 245—254.
- ↑ Andreescu, Titu; Feng, Zuming (2005), 103 Trigonometry Problems From the Training of the USA IMO Team, Birkhäuser, с. 176—177.
- ↑ «Determine ratio OM/ON», Post at Art of Problem Solving, 2011[недоступне посилання]
- ↑ Barton, Helen (1926), On a circle attached to a collapsible four-bar, American Mathematical Monthly, 33 (9): 462—465, doi:10.2307/2299611, JSTOR 2299611.
- ↑ When A Quadrilateral Is Inscriptible?. www.cut-the-knot.org. Процитовано 9 серпня 2023.
- ↑ Chao, Wu Wei; Simeonov, Plamen (2000), When quadrilaterals have inscribed circles (solution to problem 10698), American Mathematical Monthly, 107 (7): 657—658, doi:10.2307/2589133.
- ↑ а б Vaynshtejn, I.; Vasilyev, N.; Senderov, V. (1995), (Solution to problem) M1495, Kvant (6): 27–28.
- ↑ Josefsson, Martin (2012), Characterizations of Orthodiagonal Quadrilaterals (PDF), Forum Geometricorum, 12: 13—25, архів оригіналу (PDF) за 5 грудня 2020, процитовано 9 серпня 2023.
- ↑ Hoehn, Larry (2011), A new formula concerning the diagonals and sides of a quadrilateral (PDF), Forum Geometricorum, 11: 211—212.
- ↑ Josefsson, Martin (2014), The diagonal point triangle revisited (PDF), Forum Geometricorum, 14: 381—385, архів оригіналу (PDF) за 3 грудня 2014, процитовано 9 серпня 2023.
- ↑ Bryant, Victor; Duncan, John (2010), Wheels within wheels, The Mathematical Gazette, 94 (November): 502—505.
- ↑ Hess, Albrecht (2014), On a circle containing the incenters of tangential quadrilaterals (PDF), Forum Geometricorum, 14: 389—396, архів оригіналу (PDF) за 14 грудня 2014, процитовано 9 серпня 2023.
- Істер О.С. Геометрія: 8 клас. — Київ : Генеза, 2021. — С. 240. — ISBN 978-966-11-1191-1.
- Мерзляк А.Г., Полонський В.Б., Якір М.С. Геометрія: підруч. для 8 кл. загальноосвіт. навч. закладів. — 2-ге. переробл. — Харків : Гімназія, 2021. — С. 208 : стор. 64-65. — ISBN 978-966-474-275-4.
- Michael de Villiers The Tangential or Circumscribed Quadrilateral RUMEUS, University of Stellenbosch, Learning and Teaching Mathematics, No. 29, 2020, pp. 39-45
- Weisstein, Eric W. Tangential Quadrilateral(англ.) на сайті Wolfram MathWorld.